Finite-state Independence and Normal Sequences
نویسندگان
چکیده
We consider the previously defined notion of finite-state independence and we focus specifically on normal words. We characterize finite-state independence of normal words in three different ways, using three different kinds of finite automata running on infinite words (Büchi automata): finite automata with two input tapes, selectors and shufflers. We give an algorithm to construct a pair of finite-state independent normal words. Unfortunately the algorithm has doubly exponential computational complexity.
منابع مشابه
Testing from Semi-independent Communicating Finite State Machines with a Slow Environment
Some systems may be modelled as a set of communicating finite state machines with a slow environment. These machines communicate through the exchange of values. While it is possible to convert such a model into one finite state machine, from which test cases can be derived, this process may lead to an explosion in the number of states. Alternatively it is possible to utilise any independence th...
متن کاملDynamic Simulation of Distillation Sequences in Dew Pointing Unit of South Pars Gas Refinery
The understanding of the dynamic behavior of distillation columns has received considerable attention because distillation is one of the most widely used unit operations in chemical process industries. This paper reports a dynamic simulation study of the possible distillation columns sequences of Dew pointing unit in the second phase of South Pars Gas Refinery. In this unit, three columns are u...
متن کاملRelative non-Normal Graphs of a Subgroup of Finite Groups
Let G be a finite group and H,K be two subgroups of G. We introduce the relative non-normal graph of K with respect to H , denoted by NH,K, which is a bipartite graph with vertex sets HHK and KNK(H) and two vertices x ∈ H HK and y ∈ K NK(H) are adjacent if xy / ∈ H, where HK =Tk∈K Hk and NK(H) = {k ∈ K : Hk = H}. We determined some numerical invariants and state that when this graph is planar or...
متن کاملThe Jacobsthal Sequences in Finite Groups
Abstract In this paper, we study the generalized order- Jacobsthal sequences modulo for and the generalized order-k Jacobsthal-Padovan sequence modulo for . Also, we define the generalized order-k Jacobsthal orbit of a k-generator group for and the generalized order-k Jacobsthal-Padovan orbit a k-generator group for . Furthermore, we obtain the lengths of the periods of the generalized order-3 ...
متن کاملEvaluation of the effects of aerobic exercise in the aqueous environment on heart rate variability by using Poincare plot nonlinear method
Background and Aim: Heart rate variability used as a non-invasive method to investigate the effect of aerobics exercise on the cardiac autonomic system. The aim of this study was the nonlinear analysis of the effect of aerobic exercise in the water on the cardiac autonomic system in academic youngchr('39')s males. Materials and Methods: A total of 28 young men were purposefully selected and ra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1702.00320 شماره
صفحات -
تاریخ انتشار 2017